Interactive System Safety and Usability Enforced with the Development Process
نویسندگان
چکیده
This paper introduces a new technique for the verification of both safety and usability requirements for safety-critical interactive systems. This technique uses the model-oriented formal method B and makes use of an hybrid version of the MVC and PAC software architecture models. Our claim is that this technique –that uses proofs obligations– can ensure both usability and safety requirements, from the specification step of the development process, to the implementation. This technique is illustrated by a case study: a simplified user interface for a Full Authority Digital Engine Control (FADEC) of a single turbojet engine aircraft.
منابع مشابه
Usability Engineering for Complex Interactive Systems Development
Usability engineering is a cost-effective, usercentered process that ensures a high level of effectiveness, efficiency, and safety in complex interactive systems. This paper presents a brief description of usability engineering activities, and discusses our experiences with leading usability engineering activities for three very different types of interactive applications: a responsive workbenc...
متن کاملDevelopment and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملبررسی کاربردپذیری سیستم اطلاعات رادیولوژی
Introduction: One of the health information systems used in health care settings is Radiology Information System. This system can increase the quality and accuracy of work processes in the radiology department and can reduce the number of human resources required to archive images as well as the hospital costs, and, finally, can lower the retrieval time of archived images. Lack of usability of ...
متن کاملDesign of modern interactive and ergonomic home air purifier
Introduction: The subject of this research is having healthy air and its challenge is air purification to have this type of air. Healthy air is free of any pollutants, including odors, harmful gasses, dust, and viruses, especially corona. This healthy air is provided by a purifier device. One of the problems of metropolises is the lack of healthy air, which is one of the most important human ne...
متن کاملRelationship Between Usability Scale Score and Dimensional Properties and Weight of Socket Wrench in a Simulated Task
Background and Objectives: There are various models of socket wrench in the market varying in the length and diameter of handle and weight. Each of these features alone can modify the force applied by the hand and affect how comfortable the user is. The purpose of this study was to investigate the relationship between dimensional properties and weight of several models of socket wrench with the...
متن کامل